• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۲۷۶۱ پاسخ غیر تکراری از ۲۷۷۰ پاسخ تکراری در مدت زمان ۰,۷۸ ثانیه یافت شد.

2661. Use of the computer in pressure vessel analysis; papers and discussions

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Structural analysis )Engineering( - Data processing - Congresses,، Pressure vessels - Congresses

Classification :
TA
641
.
A17
1968

2662. User centric media

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Federico Alvarez, Cristina Costa (eds.)

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Multimedia systems, Congresses,Social media, Congresses,User-generated content, Congresses

Classification :
QA76
.
575
.
U26
2010eb

2663. User science and engineering :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Natrah Abdullah, Wan Adilah Wan Adnan, Marcus Foth (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: User interfaces (Computer systems), Congresses.,User-centered system design, Congresses.,Computers and Education.,Image Processing and Computer Vision.,Information Systems Applications (incl. Internet).,User Interfaces and Human Computer Interaction.,Computers-- Computer Graphics.,Computers-- Information Technology.,Computers-- User Interfaces.,Education-- Computers & Technology.,Educational equipment & technology, computer-aided learning (CAL).,Image processing.,Information retrieval.,User interface design & usability.,User interfaces (Computer systems),User-centered system design.

Classification :
QA76
.
9
.
U83

2664. VLSI-SoC :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Nicola Bombieri, Graziano Pravadelli, Masahiro Fujita, Todd Austin, Ricardo Reis (Eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer network architectures, Congresses.,Integrated circuits-- Very large scale integration, Congresses.,Internet of things, Congresses.,Systems on a chip, Congresses.,Computer network architectures.,Integrated circuits-- Very large scale integration.,Internet of things.,Systems on a chip.

Classification :
TK7874
.
75
.
I34
2018

2665. VLSI design and test :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: S. Rajaram, N.B. Balamurugan, D. Gracia Nirmala Rani, Virendra Singh (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Integrated circuits-- Very large scale integration-- Design and construction, Congresses.,Integrated circuits-- Very large scale integration-- Testing, Congresses.,Integrated circuits-- Very large scale integration-- Design and construction.,Integrated circuits-- Very large scale integration-- Testing.

Classification :
TK7874
.
75

2666. VR, simulations and serious games for education /

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: editors: Yiyu Cai, Wouter van Joolingen and Zachary Walker.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer games, Congresses.,Educational games.,Virtual reality in education-- Research, Congresses.,3D graphics & modelling.,Artificial intelligence.,Computer games.,EDUCATION-- Administration-- General.,EDUCATION-- Organizations & Institutions.,Educational equipment & technology, computer-aided learning (Calif.),Educational games.,User interface design & usability.

Classification :
LB1044
.
87

2667. Validation and verification of knowledge based systems :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Anca Vermesan and Frans Coenen.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer software -- Validation -- Congresses.,Computer software -- Verification -- Congresses.,Expert systems (Computer science) -- Congresses.

Classification :
QA76
.
76
.
V47
E358
2011

2668. Verification, Model Checking, and Abstract Interpretation.

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: \ Barbara Jobstmann , K. Rustan M. Leino (Eds.)

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Computer software -- Verification.,نر‌م‌افزار -- راستی‌آزمایی -- کنگره ها,نرم‌افزار -- مهندسی-- کنگره‌ها ,نر‌م‌افزار -- راستی‌آزمایی

Classification :
.
V4
2016
E-Book
,

2669. Verification, Model Checking, and Abstract Interpretation

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: \ Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (Eds.)

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Logics and Meanings of Programs.,نر‌م‌افزار -- راستی‌آزمایی -- کنگره ها ,نرم‌افزار -- مهندسی-- کنگره‌ها

Classification :
QA
76
.
76
.
V47
2015
E-Book
,

2670. Verification and evaluation of computer and communication systems :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.

Classification :
TK5105
.
5

2671. Verified software :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Ruzica Piskac, Philipp Rümmer (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.

Classification :
QA76
.
76
.
V47

2672. Verified software

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani (eds.)

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Computer programs--Verification--Congresses,Software.--swd,Verifikation.--swd,Programmtest.--swd,Programmanalyse.--swd,Programmverifikation.--swd,Formale Methode.--swd,Edinburgh <2010>--swd

Classification :
QA
,
76
.
76
,.
V47
,
V59
,
2010

2673. Verified software: theories, tools, experiments

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Rajeev Joshi, Peter Müller, Andreas Podelski (eds.)

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer software-- Verification, Congresses

Classification :
QA76
.
76
.
V47
V73
2012eb

2674. Videometrics III

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)

Subject: Computer vision--Industrial applications--Congresses.,Optical measurements--Congresses.,Image processing--Congresses.,Three dimensional display systems--Congresses.

Classification :
TA
1634
.
V512
1994

2675. Videometrics V

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)

Subject: Computer vision--Industrial applications--Congresses.,Optical measurements--Congresses.,Image processing--Congresses.,Three dimensional display systems--Congresses.

Classification :
TA
1634
.
V52
1997

2676. Virtual design and manufacture

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: Congresses ، CAD/CAM systems,Congresses ، Virtual reality,Congresses ، Engineering design-- Data processing,Congresses ، Manufacturing processes-- Computer simulation

Classification :
TS
155
.
6
.
V57
2000

2677. Virtual design and manufacturing

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library of Esfehan University of Technology (Esfahan)

Subject: Manufacturing processes- Computer simulation- Congresses►Virtual reality- Industrial applications- Congresses►Computer vision- Industrial applications- Congresses

Classification :
183
.
V58

2678. Virtual prototyping : virtual environments and the product design process : Proceedings of the IFIP WG 5.10 Workshop on Virtual Environments and Their Applications and Virtual Prototyping, 1994

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Joachim Rix, Stefan Haas and Jose Teixeira

Library: Central Library of Amirkabir University of Technology (Tehran)

Subject: Virtual computer systems - Congresses , Prototypes, Engineering - Congresses , New products - Design - Computer simulation - Congresses , Design, Industrial - Computer simulation - Congresses

Classification :
QA
76
.
9
.
V5
I34
1994

2679. Visualization and intelligent design in engineering and architecture

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)

Subject: Computer graphics - Congresses,Computer-aided design - Congrsses,Engineering design - Congrasses,Architecture - Congresses

Classification :
T385
.
I52
1993

2680. WG 5.2 International workshop on Computer Aided Design (3rd

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / edited H.Yoshikawa,IFIP TC5

Library: Central Library and Documents Center of Tehran University (Tehran)

Subject: Computer - aided design -- Congresses,Engineering design -- Data processing -- Congtesses,Artificial intelligence -- Congresses

Classification :
TA
174
.
I1318
1989
  • »
  • 139
  • 138
  • 137
  • 136
  • 135
  • 134
  • 133
  • 132
  • 131
  • 130
  • ...
  • 4
  • 3
  • 2
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival